<body>
  API for preference dialog boxes.
</body>
